From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium,

Source URL: events.inf.ed.ac.uk

• Software engineering
• Programming language theory
• Type theory
• Computing
• ML
• Type inference
• Polymorphism
• Type system
• Type class
• HindleyMilner type system
• Ad hoc polymorphism
• OCaml

1 Cars as Roadside Units: A Self-Organizing Network Solution Ozan K. Tonguz† and Wantanee Viriyasitavat†‡ †

Source URL: www.utc.ices.cmu.edu

• Wireless networking
• Transport
• Land transport
• Technology
• Vehicular ad hoc network
• Vehicle-to-everything
• Vehicle-to-vehicle
• Traffic flow
• Dedicated short-range communications
• Variable-message sign

Ad-hoc-Arbeitsgruppe Rohstoffe

Source URL: www.infogeo.de

Virtual Coordinates for Ad hoc and Sensor Networks∗ Thomas Moscibroda Regina O’Dell Computer Engineering and Networks Laboratory

Source URL: disco.ethz.ch

• Graph theory
• Planar graphs
• Maximal independent set
• Graph minor
• Minimum spanning tree
• Graph coloring
• Graph
• Planar separator theorem
• Line graph

Règlement ad hoc du Fonds de solidarité d’impressum vaud et de l’Association genevoise des journalistes (AGJ) Article 1 Lors de l’Assemblée extraordinaire de dé-fusion du Syndicat lémanique des journalistes du

Source URL: www.agj.ch

Computer Science Department ETH Zurich CH-8092 Zurich Prof. Dr. Roger Wattenhofer phone +fax +

Source URL: disco.ethz.ch

• Wireless networking
• Linked lists
• Mathematics
• Wireless ad hoc network
• Computing
• Flow network
• Node
• Algorithm
• Discrete mathematics

Faculteit van de Wetenschappen Vakgroep Computerwetenschappen Laboratorium voor Programmeerkunde Ambient References: Object Designation in Mobile Ad Hoc Networks

Source URL: soft.vub.ac.be

• Software engineering
• Computer programming
• Computing
• AmbientTalk

Proceedings of the 2008 IEEE International Conference on Vehicular Electronics and Safety Columbus, OH, USA. September 22-24, 2008 GeoMAC: Geo-Backoff based Co-operative MAC for V2V networks Sanjit Kaul and Marco Grutese

Source URL: www.winlab.rutgers.edu

• Wireless networking
• Computing
• Network architecture
• Network management
• Wireless ad hoc network
• Packet delay variation
• Computer network
• Packet forwarding
• ExOR
• Routing
• Media access control
• Network switch

Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler

Source URL: barzilay.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Object-oriented programming languages
• Lisp
• Cross-platform software
• String
• Racket
• Scheme
• Anonymous function
• Here document

January 2008 doc.: IEEE0044r0 IEEE P802.11 Wireless LANs January 2008 Hong Kong Ad Hoc Meeting Minutes Date:

Source URL: mentor.ieee.org

• Internet
• Computing
• Internet Engineering Task Force
• Comment
• Nokia
• Economy